Roberto Gorrieri (auth.): ძიება ვებგვერდზე Z-Library

თავისუფალი წვდომა ცოდნასა და კულტურასთან.

Don't use scam websites

გამოყენებულია ფილტრები

ზუსტი შესაბამისობა

ზუსტი შესაბამისობა

1

Introduction to Concurrency Theory: Transition Systems and CCS

Introduction to Concurrency Theory: Transition Systems and CCS

Springer International Publishing

Roberto Gorrieri, Cristian Versari (auth.)

წელი:

2015

ენა:

english

ფაილი:

PDF, 3.47 MB

0 / 0

english, 2015

2

Foundations of Security Analysis and Design III: FOSAD 2004/2005 Tutorial Lectures

Foundations of Security Analysis and Design III: FOSAD 2004/2005 Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Michael Backes, Birgit Pfitzmann, Michael Waidner (auth.), Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli (eds.)

წელი:

2005

ენა:

english

ფაილი:

PDF, 2.56 MB

0 / 0

english, 2005

3

Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures

Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Santiago Escobar, Catherine Meadows, José Meseguer (auth.), Alessandro Aldini, Gilles Barthe, Roberto Gorrieri (eds.)

წელი:

2009

ენა:

english

ფაილი:

PDF, 3.31 MB

0 / 0

english, 2009

4

Foundations of Security Analysis and Design VI: FOSAD Tutorial Lectures

Foundations of Security Analysis and Design VI: FOSAD Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Sabrina De Capitani di Vimercati, Sara Foresti, Giovanni Livraga, Pierangela Samarati (auth.), Alessandro Aldini, Roberto Gorrieri (eds.)

წელი:

2011

ენა:

english

ფაილი:

PDF, 3.64 MB

0 / 0

english, 2011

5

Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedings

Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedings

Springer-Verlag Berlin Heidelberg

Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari (auth.), Roberto Gorrieri, Heike Wehrheim (eds.)

წელი:

2006

ენა:

english

ფაილი:

PDF, 3.98 MB

0 / 0

english, 2006

6

Applications and Theory of Petri Nets 2004: 25th International Conference, ICATPN 2004, Bologna, Italy, June 21–25, 2004. Proceedings

Applications and Theory of Petri Nets 2004: 25th International Conference, ICATPN 2004, Bologna, Italy, June 21–25, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Nadia Busi, Roberto Gorrieri (auth.), Jordi Cortadella, Wolfgang Reisig (eds.)

წელი:

2004

ენა:

english

ფაილი:

PDF, 10.48 MB

0 / 0

english, 2004

7

Foundations of Security Analysis and Design IV: FOSAD 2006/2007 Tutorial Lectures

Foundations of Security Analysis and Design IV: FOSAD 2006/2007 Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Martín Abadi (auth.), Alessandro Aldini, Roberto Gorrieri (eds.)

წელი:

2007

ენა:

english

ფაილი:

PDF, 4.33 MB

0 / 0

english, 2007

8

Formal Aspects in Security and Trust: IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22–27, 2004, Toulouse, France

Formal Aspects in Security and Trust: IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22–27, 2004, Toulouse, France

Mario Bravetti, Nadia Busi, Roberto Gorrieri (auth.), Theo Dimitrakos, Fabio Martinelli (eds.)

წელი:

2005

ენა:

english

ფაილი:

PDF, 4.03 MB

0 / 0

english, 2005

9

Applications and Theory of Petri Nets 2004: 25th International Conference, ICATPN 2004, Bologna, Italy, June 21–25, 2004. Proceedings

Applications and Theory of Petri Nets 2004: 25th International Conference, ICATPN 2004, Bologna, Italy, June 21–25, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Nadia Busi, Roberto Gorrieri (auth.), Jordi Cortadella, Wolfgang Reisig (eds.)

წელი:

2004

ენა:

english

ფაილი:

PDF, 4.29 MB

0 / 0

english, 2004

10

Computational Methods in Systems Biology: 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings

Computational Methods in Systems Biology: 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Lisa Bartoli, Pier Luigi Martelli, Ivan Rossi (auth.), Pierpaolo Degano, Roberto Gorrieri (eds.)

წელი:

2009

ენა:

english

ფაილი:

PDF, 7.42 MB

0 / 0

english, 2009

11

Foundations of Security Analysis and Design VI: FOSAD Tutorial Lectures

Foundations of Security Analysis and Design VI: FOSAD Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Sabrina De Capitani di Vimercati, Sara Foresti, Giovanni Livraga, Pierangela Samarati (auth.), Alessandro Aldini, Roberto Gorrieri (eds.)

წელი:

2011

ენა:

english

ფაილი:

PDF, 3.57 MB

0 / 0

english, 2011

12

Process Algebras for Petri Nets: The Alphabetization of Distributed Systems

Process Algebras for Petri Nets: The Alphabetization of Distributed Systems

Springer International Publishing

Roberto Gorrieri (auth.)

წელი:

2017

ენა:

english

ფაილი:

PDF, 3.05 MB

0 / 0

english, 2017

13

Foundations of Security Analysis and Design: Tutorial Lectures

Foundations of Security Analysis and Design: Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Peter Y. A. Ryan (auth.), Riccardo Focardi, Roberto Gorrieri (eds.)

წელი:

2001

ენა:

english

ფაილი:

PDF, 2.74 MB

0 / 0

english, 2001

14

Coordination of Internet Agents: Models, Technologies, and Applications

Coordination of Internet Agents: Models, Technologies, and Applications

Springer-Verlag Berlin Heidelberg

Nadia Busi, Paolo Ciancarini, Roberto Gorrieri, Gianluigi Zavattaro (auth.), Andrea Omicini, Franco Zambonelli, Matthias Klusch, Robert Tolksdorf (eds.)

წელი:

2001

ენა:

english

ფაილი:

PDF, 31.37 MB

0 / 0

english, 2001

15

Automata, Languages and Programming: 24th International Colloquium, ICALP '97 Bologna, Italy, July 7–11, 1997 Proceedings

Automata, Languages and Programming: 24th International Colloquium, ICALP '97 Bologna, Italy, July 7–11, 1997 Proceedings

Springer-Verlag Berlin Heidelberg

Robin Milner (auth.), Pierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-Spaccamela (eds.)

წელი:

1997

ენა:

english

ფაილი:

DJVU, 10.31 MB

0 / 0

english, 1997

16

Foundations of Security Analysis and Design II: FOSAD 2001/2002 Tutorial Lectures

Foundations of Security Analysis and Design II: FOSAD 2001/2002 Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Alessandro Aldini, Mario Bravetti (auth.), Riccardo Focardi, Roberto Gorrieri (eds.)

წელი:

2004

ენა:

english

ფაილი:

PDF, 1.97 MB

0 / 0

english, 2004

17

Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6–8, 2000, Stanford, California, USA

Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6–8, 2000, Stanford, California, USA

Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro (auth.), Scott F. Smith, Carolyn L. Talcott (eds.)

წელი:

2000

ენა:

english

ფაილი:

PDF, 14.70 MB

0 / 0

english, 2000

18

Foundations of Security Analysis and Design IV: FOSAD 2006/2007 Tutorial Lectures

Foundations of Security Analysis and Design IV: FOSAD 2006/2007 Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Martín Abadi (auth.), Alessandro Aldini, Roberto Gorrieri (eds.)

წელი:

2007

ენა:

english

ფაილი:

PDF, 6.64 MB

0 / 0

english, 2007

19

Computational Methods in Systems Biology: 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings

Computational Methods in Systems Biology: 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Lisa Bartoli, Pier Luigi Martelli, Ivan Rossi (auth.), Pierpaolo Degano, Roberto Gorrieri (eds.)

წელი:

2009

ენა:

english

ფაილი:

PDF, 7.47 MB

0 / 0

english, 2009

20

Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures

Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Santiago Escobar, Catherine Meadows, José Meseguer (auth.), Alessandro Aldini, Gilles Barthe, Roberto Gorrieri (eds.)

წელი:

2009

ენა:

english

ფაილი:

PDF, 5.45 MB

0 / 0

english, 2009

21

Foundations of Security Analysis and Design III: FOSAD 2004/2005 Tutorial Lectures

Foundations of Security Analysis and Design III: FOSAD 2004/2005 Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Michael Backes, Birgit Pfitzmann, Michael Waidner (auth.), Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli (eds.)

წელი:

2005

ენა:

english

ფაილი:

PDF, 2.24 MB

0 / 0

english, 2005

22

Foundations of Security Analysis and Design II: FOSAD 2001/2002 Tutorial Lectures

Foundations of Security Analysis and Design II: FOSAD 2001/2002 Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Alessandro Aldini, Mario Bravetti (auth.), Riccardo Focardi, Roberto Gorrieri (eds.)

წელი:

2004

ენა:

english

ფაილი:

PDF, 2.37 MB

0 / 0

english, 2004

23

Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures

Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Santiago Escobar, Catherine Meadows, José Meseguer (auth.), Alessandro Aldini, Gilles Barthe, Roberto Gorrieri (eds.)

წელი:

2009

ენა:

english

ფაილი:

PDF, 3.41 MB

0 / 0

english, 2009